$\forall$$g$:IMonoid, $n$:$\mathbb{N}$. ($n$ $\cdot$ e) = e $\in$ $\mid$$g$$\mid$